15:02
2026-06-30
theoric.com
machine-learning
We rewrote an ML Framework* in Lean, (and yes it is faster*)
A team rewrote a subset of the TinyGrad deep learning framework in Lean 4, creating TGrad, which outperforms the original in 4 of 5 benchmarks by up to 3x. The project demonstrates Lean 4's viability …